Optimal. Leaf size=463 \[ -\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}-\frac {12 i f^2 (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{a d^3}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}+\frac {12 f^3 \text {Li}_3\left (i e^{i (c+d x)}\right )}{a d^4}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}+\frac {3 f^3 \text {Li}_3\left (e^{2 i (c+d x)}\right )}{2 a d^4}+\frac {6 i f^3 \text {Li}_4\left (-e^{i (c+d x)}\right )}{a d^4}-\frac {6 i f^3 \text {Li}_4\left (e^{i (c+d x)}\right )}{a d^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.50, antiderivative size = 463, normalized size of antiderivative = 1.00, number of steps
used = 24, number of rules used = 10, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.357, Rules used = {4631, 4269,
3798, 2221, 2611, 2320, 6724, 4268, 6744, 3399} \begin {gather*} \frac {12 f^3 \text {PolyLog}\left (3,i e^{i (c+d x)}\right )}{a d^4}+\frac {3 f^3 \text {PolyLog}\left (3,e^{2 i (c+d x)}\right )}{2 a d^4}+\frac {6 i f^3 \text {PolyLog}\left (4,-e^{i (c+d x)}\right )}{a d^4}-\frac {6 i f^3 \text {PolyLog}\left (4,e^{i (c+d x)}\right )}{a d^4}-\frac {12 i f^2 (e+f x) \text {PolyLog}\left (2,i e^{i (c+d x)}\right )}{a d^3}-\frac {3 i f^2 (e+f x) \text {PolyLog}\left (2,e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {PolyLog}\left (3,-e^{i (c+d x)}\right )}{a d^3}-\frac {6 f^2 (e+f x) \text {PolyLog}\left (3,e^{i (c+d x)}\right )}{a d^3}-\frac {3 i f (e+f x)^2 \text {PolyLog}\left (2,-e^{i (c+d x)}\right )}{a d^2}+\frac {3 i f (e+f x)^2 \text {PolyLog}\left (2,e^{i (c+d x)}\right )}{a d^2}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {d x}{2}+\frac {\pi }{4}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {2 i (e+f x)^3}{a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2221
Rule 2320
Rule 2611
Rule 3399
Rule 3798
Rule 4268
Rule 4269
Rule 4631
Rule 6724
Rule 6744
Rubi steps
\begin {align*} \int \frac {(e+f x)^3 \csc ^2(c+d x)}{a+a \sin (c+d x)} \, dx &=\frac {\int (e+f x)^3 \csc ^2(c+d x) \, dx}{a}-\int \frac {(e+f x)^3 \csc (c+d x)}{a+a \sin (c+d x)} \, dx\\ &=-\frac {(e+f x)^3 \cot (c+d x)}{a d}-\frac {\int (e+f x)^3 \csc (c+d x) \, dx}{a}+\frac {(3 f) \int (e+f x)^2 \cot (c+d x) \, dx}{a d}+\int \frac {(e+f x)^3}{a+a \sin (c+d x)} \, dx\\ &=-\frac {i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {\int (e+f x)^3 \csc ^2\left (\frac {1}{2} \left (c+\frac {\pi }{2}\right )+\frac {d x}{2}\right ) \, dx}{2 a}-\frac {(6 i f) \int \frac {e^{2 i (c+d x)} (e+f x)^2}{1-e^{2 i (c+d x)}} \, dx}{a d}+\frac {(3 f) \int (e+f x)^2 \log \left (1-e^{i (c+d x)}\right ) \, dx}{a d}-\frac {(3 f) \int (e+f x)^2 \log \left (1+e^{i (c+d x)}\right ) \, dx}{a d}\\ &=-\frac {i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}+\frac {(3 f) \int (e+f x)^2 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right ) \, dx}{a d}+\frac {\left (6 i f^2\right ) \int (e+f x) \text {Li}_2\left (-e^{i (c+d x)}\right ) \, dx}{a d^2}-\frac {\left (6 i f^2\right ) \int (e+f x) \text {Li}_2\left (e^{i (c+d x)}\right ) \, dx}{a d^2}-\frac {\left (6 f^2\right ) \int (e+f x) \log \left (1-e^{2 i (c+d x)}\right ) \, dx}{a d^2}\\ &=-\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}+\frac {(6 f) \int \frac {e^{2 i \left (\frac {c}{2}+\frac {d x}{2}\right )} (e+f x)^2}{1-i e^{2 i \left (\frac {c}{2}+\frac {d x}{2}\right )}} \, dx}{a d}+\frac {\left (3 i f^3\right ) \int \text {Li}_2\left (e^{2 i (c+d x)}\right ) \, dx}{a d^3}-\frac {\left (6 f^3\right ) \int \text {Li}_3\left (-e^{i (c+d x)}\right ) \, dx}{a d^3}+\frac {\left (6 f^3\right ) \int \text {Li}_3\left (e^{i (c+d x)}\right ) \, dx}{a d^3}\\ &=-\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}-\frac {\left (12 f^2\right ) \int (e+f x) \log \left (1-i e^{2 i \left (\frac {c}{2}+\frac {d x}{2}\right )}\right ) \, dx}{a d^2}+\frac {\left (6 i f^3\right ) \text {Subst}\left (\int \frac {\text {Li}_3(-x)}{x} \, dx,x,e^{i (c+d x)}\right )}{a d^4}-\frac {\left (6 i f^3\right ) \text {Subst}\left (\int \frac {\text {Li}_3(x)}{x} \, dx,x,e^{i (c+d x)}\right )}{a d^4}+\frac {\left (3 f^3\right ) \text {Subst}\left (\int \frac {\text {Li}_2(x)}{x} \, dx,x,e^{2 i (c+d x)}\right )}{2 a d^4}\\ &=-\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}-\frac {12 i f^2 (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{a d^3}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}+\frac {3 f^3 \text {Li}_3\left (e^{2 i (c+d x)}\right )}{2 a d^4}+\frac {6 i f^3 \text {Li}_4\left (-e^{i (c+d x)}\right )}{a d^4}-\frac {6 i f^3 \text {Li}_4\left (e^{i (c+d x)}\right )}{a d^4}+\frac {\left (12 i f^3\right ) \int \text {Li}_2\left (i e^{2 i \left (\frac {c}{2}+\frac {d x}{2}\right )}\right ) \, dx}{a d^3}\\ &=-\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}-\frac {12 i f^2 (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{a d^3}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}+\frac {3 f^3 \text {Li}_3\left (e^{2 i (c+d x)}\right )}{2 a d^4}+\frac {6 i f^3 \text {Li}_4\left (-e^{i (c+d x)}\right )}{a d^4}-\frac {6 i f^3 \text {Li}_4\left (e^{i (c+d x)}\right )}{a d^4}+\frac {\left (12 f^3\right ) \text {Subst}\left (\int \frac {\text {Li}_2(i x)}{x} \, dx,x,e^{2 i \left (\frac {c}{2}+\frac {d x}{2}\right )}\right )}{a d^4}\\ &=-\frac {2 i (e+f x)^3}{a d}+\frac {2 (e+f x)^3 \tanh ^{-1}\left (e^{i (c+d x)}\right )}{a d}-\frac {(e+f x)^3 \cot \left (\frac {c}{2}+\frac {\pi }{4}+\frac {d x}{2}\right )}{a d}-\frac {(e+f x)^3 \cot (c+d x)}{a d}+\frac {6 f (e+f x)^2 \log \left (1-i e^{i (c+d x)}\right )}{a d^2}+\frac {3 f (e+f x)^2 \log \left (1-e^{2 i (c+d x)}\right )}{a d^2}-\frac {3 i f (e+f x)^2 \text {Li}_2\left (-e^{i (c+d x)}\right )}{a d^2}-\frac {12 i f^2 (e+f x) \text {Li}_2\left (i e^{i (c+d x)}\right )}{a d^3}+\frac {3 i f (e+f x)^2 \text {Li}_2\left (e^{i (c+d x)}\right )}{a d^2}-\frac {3 i f^2 (e+f x) \text {Li}_2\left (e^{2 i (c+d x)}\right )}{a d^3}+\frac {6 f^2 (e+f x) \text {Li}_3\left (-e^{i (c+d x)}\right )}{a d^3}+\frac {12 f^3 \text {Li}_3\left (i e^{i (c+d x)}\right )}{a d^4}-\frac {6 f^2 (e+f x) \text {Li}_3\left (e^{i (c+d x)}\right )}{a d^3}+\frac {3 f^3 \text {Li}_3\left (e^{2 i (c+d x)}\right )}{2 a d^4}+\frac {6 i f^3 \text {Li}_4\left (-e^{i (c+d x)}\right )}{a d^4}-\frac {6 i f^3 \text {Li}_4\left (e^{i (c+d x)}\right )}{a d^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice
the leaf count of optimal. \(1208\) vs. \(2(463)=926\).
time = 20.54, size = 1208, normalized size = 2.61 \begin {gather*} -\frac {e^3 \log \left (\tan \left (\frac {1}{2} (c+d x)\right )\right )}{a d}-\frac {3 e^2 f \left ((c+d x) \left (\log \left (1-e^{i (c+d x)}\right )-\log \left (1+e^{i (c+d x)}\right )\right )-c \log \left (\tan \left (\frac {1}{2} (c+d x)\right )\right )+i \left (\text {Li}_2\left (-e^{i (c+d x)}\right )-\text {Li}_2\left (e^{i (c+d x)}\right )\right )\right )}{a d^2}-\frac {e^{-i c} f^3 \csc (c) \left (2 d^2 x^2 \left (2 d e^{2 i c} x+3 i \left (-1+e^{2 i c}\right ) \log \left (1-e^{2 i (c+d x)}\right )\right )+6 d \left (-1+e^{2 i c}\right ) x \text {Li}_2\left (e^{2 i (c+d x)}\right )+3 i \left (-1+e^{2 i c}\right ) \text {Li}_3\left (e^{2 i (c+d x)}\right )\right )}{4 a d^4}+\frac {6 e f^2 \left (d^2 x^2 \tanh ^{-1}(\cos (c+d x)+i \sin (c+d x))-i d x \text {Li}_2(-\cos (c+d x)-i \sin (c+d x))+i d x \text {Li}_2(\cos (c+d x)+i \sin (c+d x))+\text {Li}_3(-\cos (c+d x)-i \sin (c+d x))-\text {Li}_3(\cos (c+d x)+i \sin (c+d x))\right )}{a d^3}-\frac {f^3 \left (-2 d^3 x^3 \tanh ^{-1}(\cos (c+d x)+i \sin (c+d x))+3 i d^2 x^2 \text {Li}_2(-\cos (c+d x)-i \sin (c+d x))-3 i d^2 x^2 \text {Li}_2(\cos (c+d x)+i \sin (c+d x))-6 d x \text {Li}_3(-\cos (c+d x)-i \sin (c+d x))+6 d x \text {Li}_3(\cos (c+d x)+i \sin (c+d x))-6 i \text {Li}_4(-\cos (c+d x)-i \sin (c+d x))+6 i \text {Li}_4(\cos (c+d x)+i \sin (c+d x))\right )}{a d^4}+\frac {3 e^2 f \csc (c) (-d x \cos (c)+\log (\cos (d x) \sin (c)+\cos (c) \sin (d x)) \sin (c))}{a d^2 \left (\cos ^2(c)+\sin ^2(c)\right )}+\frac {2 f \left (3 d^2 (e+f x)^2 \log (1-i \cos (c+d x)+\sin (c+d x))-6 i d f (e+f x) \text {Li}_2(i \cos (c+d x)-\sin (c+d x))+6 f^2 \text {Li}_3(i \cos (c+d x)-\sin (c+d x))+\frac {d^3 x \left (3 e^2+3 e f x+f^2 x^2\right ) (-i \cos (c)+\sin (c))}{\cos (c)+i (1+\sin (c))}\right )}{a d^4}+\frac {\csc \left (\frac {c}{2}\right ) \csc \left (\frac {c}{2}+\frac {d x}{2}\right ) \left (e^3 \sin \left (\frac {d x}{2}\right )+3 e^2 f x \sin \left (\frac {d x}{2}\right )+3 e f^2 x^2 \sin \left (\frac {d x}{2}\right )+f^3 x^3 \sin \left (\frac {d x}{2}\right )\right )}{2 a d}+\frac {\sec \left (\frac {c}{2}\right ) \sec \left (\frac {c}{2}+\frac {d x}{2}\right ) \left (e^3 \sin \left (\frac {d x}{2}\right )+3 e^2 f x \sin \left (\frac {d x}{2}\right )+3 e f^2 x^2 \sin \left (\frac {d x}{2}\right )+f^3 x^3 \sin \left (\frac {d x}{2}\right )\right )}{2 a d}+\frac {2 \left (e^3 \sin \left (\frac {d x}{2}\right )+3 e^2 f x \sin \left (\frac {d x}{2}\right )+3 e f^2 x^2 \sin \left (\frac {d x}{2}\right )+f^3 x^3 \sin \left (\frac {d x}{2}\right )\right )}{a d \left (\cos \left (\frac {c}{2}\right )+\sin \left (\frac {c}{2}\right )\right ) \left (\cos \left (\frac {c}{2}+\frac {d x}{2}\right )+\sin \left (\frac {c}{2}+\frac {d x}{2}\right )\right )}-\frac {3 e f^2 \csc (c) \sec (c) \left (d^2 e^{i \tan ^{-1}(\tan (c))} x^2+\frac {\left (i d x \left (-\pi +2 \tan ^{-1}(\tan (c))\right )-\pi \log \left (1+e^{-2 i d x}\right )-2 \left (d x+\tan ^{-1}(\tan (c))\right ) \log \left (1-e^{2 i \left (d x+\tan ^{-1}(\tan (c))\right )}\right )+\pi \log (\cos (d x))+2 \tan ^{-1}(\tan (c)) \log \left (\sin \left (d x+\tan ^{-1}(\tan (c))\right )\right )+i \text {Li}_2\left (e^{2 i \left (d x+\tan ^{-1}(\tan (c))\right )}\right )\right ) \tan (c)}{\sqrt {1+\tan ^2(c)}}\right )}{a d^3 \sqrt {\sec ^2(c) \left (\cos ^2(c)+\sin ^2(c)\right )}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 1704 vs. \(2 (419 ) = 838\).
time = 0.29, size = 1705, normalized size = 3.68
method | result | size |
risch | \(\text {Expression too large to display}\) | \(1705\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 4792 vs. \(2 (417) = 834\).
time = 0.53, size = 4792, normalized size = 10.35 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {e^{3} \csc ^{2}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx + \int \frac {f^{3} x^{3} \csc ^{2}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx + \int \frac {3 e f^{2} x^{2} \csc ^{2}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx + \int \frac {3 e^{2} f x \csc ^{2}{\left (c + d x \right )}}{\sin {\left (c + d x \right )} + 1}\, dx}{a} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F(-1)]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \text {Hanged} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________